TEXlib: a TEX reimplementation in library form
نویسنده
چکیده
منابع مشابه
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND
We present a reimplementation of the DIAMOND system for computing with abstract dialectical frameworks. The original DIAMOND was a script-based tool that called an external ASP solver. This reimplementation uses the clingo library in a native C++ environment and thus avoids communication overhead.
متن کاملMlBibTEX meets ConTEXt
This article reports a first experiment of using MlBibTEX—our reimplementation of BibTEX—with ConTEXt, a TEX format more modern than LATEX. We show how to take as much advantage as possible of both ConTEXt and MlBibTEX features when they are used together. Also, many end-users are accustomed to using LATEX commands inside values of BibTEX fields, and such commands may be unrecognised by ConTEXt...
متن کاملParsing TEX into Mathematics
Communication, storage, transmission, and searching of complex material has become increasingly important. Mathematical computing in a distributed environment is also becoming more plausible as libraries and computing facilities are connected with each other and with user facilities. TEX is a wellknown mathematical typesetting language, and from the display perspective it might seem that it cou...
متن کاملAutomated Processing of TEX-Typeset Articles for a Digital Library
Experience in setting up a comprehensive journal processing system based on the TEX typesetting system with the CEDRAMworkflow is described, following the example of the Archivum Mathematicum journal. The system automates the preparation of issues and simultaneously generates the materials needed for the Czech Digital Mathematics Library project (DML-CZ). The second part of the article describe...
متن کاملInvestigating the Energy Efficiency of TEX High Energy Derivatives with Different Carbon Fuller Nano Structures under Different Temperature Conditions by DFT Method
In this study, high energy energy derivatives of TEX with different carbon-containing fullerenes at different temperature conditions were studied using density functional theory. For this purpose, the materials were first geometric optimized, then the thermodynamic parameters were calculated for all of them. Then, the process of changing the energy-dependent parameters such as specific heat cap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001